User Interfaces for Portable Proofs
نویسندگان
چکیده
Portable proofs are a new and interesting way of integrating theorem provers into distributed environments like the web. This article reports on user interface’s challenges and opportunities for theorem provers in such environments. In particular, this article reports on the design of user interfaces used for searching, browsing and inspecting TSTP problems when published as portable proofs.
منابع مشابه
A New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملSelecting and Extracting Effective Features of SSVEP-based Brain-Computer Interface
User interfaces are always one of the most important applied and study fields of information technology. The development and expansion of cognitive science studies and functionalization of its tools such as BCI1, as well as popularization of methods such as SSVEP2 to stimulate brain waves, have led to using these techniques every day, especially in appropriate solutions for physically and menta...
متن کاملPROOFTOOL: a GUI for the GAPT Framework
This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for pro...
متن کاملDistributed and Disappearing User Interfaces in Ubiquitous Computing
In earlier work at Xerox PARC, we were interested in further pursuing the investigation of ubiquitous computing [10] and extending those original notions. We constructed both physically manipulative user interfaces for portable devices [5] and, through the use of RF tagged objects, we built a system that supported relatively complex task scenarios within a work environment [9]. We designed not ...
متن کاملGuiGen: a toolset for creating customized interfaces for grid user communities
GuiGen is a comprehensive set of tools for creating customized graphical user interfaces (GUIs). I t draws from the concept of computing portals, which are here seen as interfaces to application-specific computing services for user communities. While GuiGen was originally designed for the use in computational grids, i t can be used in client/server environments as well. Compared to other GUI ge...
متن کامل